@spritezs: thank you for the PR. There are a number of issues that I think we'd need to address before merging:

• bin: the content of the folder should be similar to the one in the dev and main branch: the installation scripts shouldn't be removed. The ones that should be removed, as mentioned in my previous comments, was the installation folders, as those were created automatically when we run the installation scripts.
• it'd be best to remove those heavy files completely from github's history. At the moment they were still in the new branch, and there was a commit that removed them.
• https://github.com/stacs-cp/AutoIG/tree/gradedPr/data/models/car_problem_only: I suppose this folder was for testing conjure functionality. This should be included in a different PR. It'd be best to keep the changes to minimal and only include the ones specific to this PR's functionality.
• The commit history of here include things that aren't related to this PR, it'd be nice if we could avoid those.

I had a discussion with Oz last Wednesday, and it seems that the best solution is to make a fresh fork of the current dev branch on your own github account, do the changes that related to this functionality, and create a PR with that fork. It'd be helpful if you could summary the list of changes when submitting the new PR too. Could you please help try that again? Thank you!